COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00005 ENDMK
C⊗;
\input jmclet
\jmclet
\address
Dr. Gregory Mints
Institute of Cybernetics
Estonian Academy of Sciences
Tallinn, Estonia
USSR
\body
Dear Dr. Mints:

	As a member of the Program Committee of the December meeting
on Logic and Computers in Tallinn, I would like to recommend
Dr. Vladimir Lifschitz of Stanford University as an invited speaker
on the subject of nonmonotonic reasoning.  Nonmonotonic reasoning
is a new area of mathematical logic that has developed since the
late 1970s motivated by its applications to artificial intelligence,
especially to the formalization of common sense reasoning.  Dr. Lifschitz
is the most outstanding expert in this field, both for his own
contributions and for his knowledge and understanding of the many
approaches that have been taken and their inter-relations.

	I look forward to seeing you again in Tallinn.  My current plan
is to arrive in Moscow Monday Dec 5, to arrive in Tallinn by plane from
Moscow, Dec 11 and to leave Tallin Dec 21 by boat for Helsinki.

	Enclosed also is my report on map coloring.  It was written
before I got some results on formalizing introspection.  However, I
also enclose a letter from a Hungarian computer scientists about an
implementation of an introspective interpreter for Prolog.

\closing
Sincerely,
John McCarthy
Professor
\endletter
\end